// buttons
-@mixin _button_border_color ($c) { border-color: darken($c,25%); } // colored buttons want the border form the base color
+@function _border_color ($c) { @return darken($c,25%); } // colored buttons want the border form the base color
@mixin _button_text_shadow ($tc:$fg_color, $bg:$bg_color) {
//
darken($c,5%)
);
- @if $c!=$bg_color { @include _button_border_color($c); }
+ @if $c!=$bg_color { border-color: _border_color($c); }
@else { border-color: $borders_color; }
@include _button_text_shadow($tc,$c);
// hovered button
//
color: $tc;
- @if $c!=$bg_color { @include _button_border_color($c); }
+ @if $c!=$bg_color { border-color: _border_color($c); }
@else { border-color: $borders_color; }
background-image: linear-gradient(to bottom,
lighten($c,14%),
// pushed button
//
color: $tc;
- @if $c!=$bg_color { @include _button_border_color($c); }
+ @if $c!=$bg_color {border-color: _border_color($c); }
@else { border-color: $borders_color; }
@if $variant == 'light' {
background-image: linear-gradient(to bottom,
);
}
- @if $c!=$bg_color { @include _button_border_color($c); }
+ @if $c!=$bg_color { border-color: _border_color($c); }
@else { border-color: $borders_color; }
@if $noedge==false {